2list_of_ids(id0).
    3list_of_ids(id1).
    4list_of_ids(id2).
    5list_of_ids(id3).
    6list_of_ids(id4).
    7list_of_ids(id5).
    8list_of_ids(id6).
    9list_of_ids(id7).
   10list_of_ids(id8).
   11list_of_ids(id9).
   12
   13
   14id_pair(id0, id1).
   15
   16id_pair(id0, id2).
   17id_pair(id0, id3).
   18id_pair(id0, id4).
   19id_pair(id0, id5).
   20id_pair(id0, id6).
   21
   22id_pair(id0, id7).
   23id_pair(id0, id8).
   24id_pair(id0, id9).
   25
   26id_pair(id1, id2).
   27
   28id_pair(id1, id3).
   29id_pair(id1, id4).
   30id_pair(id1, id5).
   31id_pair(id1, id6).
   32id_pair(id1, id7).
   33id_pair(id1, id8).
   34id_pair(id1, id9).
   35id_pair(id2, id3).
   36id_pair(id2, id4).
   37id_pair(id2, id5).
   38id_pair(id2, id6).
   39id_pair(id2, id7).
   40id_pair(id2, id8).
   41id_pair(id2, id9).
   42id_pair(id3, id4).
   43id_pair(id3, id5).
   44id_pair(id3, id6).
   45id_pair(id3, id7).
   46id_pair(id3, id8).
   47id_pair(id3, id9).
   48
   49id_pair(id4, id5).
   50
   51id_pair(id4, id6).
   52id_pair(id4, id7).
   53id_pair(id4, id8).
   54id_pair(id4, id9).
   55id_pair(id5, id6).
   56id_pair(id5, id7).
   57id_pair(id5, id8).
   58id_pair(id5, id9).
   59id_pair(id6, id7).
   60id_pair(id6, id8).
   61id_pair(id6, id9).
   62id_pair(id7, id8).
   63id_pair(id7, id9).
   64id_pair(id8, id9).
   65
   66
   67
   68symmetric_id_pair(id1, id0).
   69
   70symmetric_id_pair(id2, id0).
   71
   72symmetric_id_pair(id2, id1).
   73
   74symmetric_id_pair(id3, id0).
   75symmetric_id_pair(id3, id1).
   76symmetric_id_pair(id3, id2).
   77symmetric_id_pair(id4, id0).
   78symmetric_id_pair(id4, id1).
   79symmetric_id_pair(id4, id2).
   80symmetric_id_pair(id4, id3).
   81symmetric_id_pair(id5, id0).
   82symmetric_id_pair(id5, id1).
   83symmetric_id_pair(id5, id2).
   84symmetric_id_pair(id5, id3).
   85
   86symmetric_id_pair(id5, id4).
   87
   88symmetric_id_pair(id6, id0).
   89
   90symmetric_id_pair(id6, id1).
   91symmetric_id_pair(id6, id2).
   92symmetric_id_pair(id6, id3).
   93symmetric_id_pair(id6, id4).
   94symmetric_id_pair(id6, id5).
   95symmetric_id_pair(id7, id0).
   96symmetric_id_pair(id7, id1).
   97symmetric_id_pair(id7, id2).
   98symmetric_id_pair(id7, id3).
   99symmetric_id_pair(id7, id4).
  100symmetric_id_pair(id7, id5).
  101
  102symmetric_id_pair(id7, id6).
  103
  104symmetric_id_pair(id8, id0).
  105symmetric_id_pair(id8, id1).
  106symmetric_id_pair(id8, id2).
  107symmetric_id_pair(id8, id3).
  108symmetric_id_pair(id8, id4).
  109symmetric_id_pair(id8, id5).
  110
  111symmetric_id_pair(id8, id6).
  112symmetric_id_pair(id8, id7).
  113
  114symmetric_id_pair(id9, id0).
  115symmetric_id_pair(id9, id1).
  116symmetric_id_pair(id9, id2).
  117symmetric_id_pair(id9, id3).
  118symmetric_id_pair(id9, id4).
  119symmetric_id_pair(id9, id5).
  120
  121symmetric_id_pair(id9, id6).
  122symmetric_id_pair(id9, id7).
  123symmetric_id_pair(id9, id8)